Notes on getting presaturation from collapsing a Woodin cardinal
نویسنده
چکیده
منابع مشابه
Collapsing functions
We define what it means for a function on ω1 to be a collapsing function for λ and show that if there exists a collapsing function for (21), then there is no precipitous ideal on ω1. We show that a collapsing function for ω2 can be added by forcing. We define what it means to be a weakly ω1-Erdös cardinal and show that in L[E], there is a collapsing function for λ iff λ is less than the least w...
متن کاملInner Model Theoretic Geology
One of the basic concepts of set theoretic geology is the mantle of a model of set theory V: it is the intersection of all grounds of V, that is, of all inner models M of V such that V is a set-forcing extension of M . The main theme of the present paper is to identify situations in which the mantle turns out to be a fine structural extender model. The first main result is that this is the case...
متن کاملWoodin Cardinals, Shelah Cardinals, and the Mitchell-steel Core Model
Theorem 4 is a characterization of Woodin cardinals in terms of Skolem hulls and Mostowski collapses. We define weakly hyper-Woodin cardinals and hyper-Woodin cardinals. Theorem 5 is a covering theorem for the Mitchell-Steel core model, which is constructed using total background extenders. Roughly, Theorem 5 states that this core model correctly computes successors of hyper-Woodin cardinals. W...
متن کاملJónsson Cardinals, Erdös Cardinals, and The Core Model
We show that if there is no inner model with a Woodin cardinal and the Steel core model K exists, then every Jónsson cardinal is Ramsey in K, and every δ-Jónsson cardinal is δ-Erdős in K. In the absence of the Steel core model K we prove the same conclusion for any model L[E ] such that either V = L[E ] is the minimal model for a Woodin cardinal, or there is no inner model with a Woodin cardina...
متن کاملVarsovian models I∗†
Let Msw denote the least iterable inner model with a strong cardinal above a Woodin cardinal. By [8], Msw has a fully iterable core model, K Msw , and Msw is thus the least iterable extender model which has an iterable core model with a Woodin cardinal. In V , KMsw is an iterate of Msw via its iteration strategy Σ. We here show that Msw has a bedrock which arises from K Msw by telling KMsw a sp...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012